Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
321	Introduction Corpus & Benchmark Algorithm Question Answering on Statistical Linked Data AKSW Colloquium paper presentation Add to Reading List Source URL: svn.aksw.org Language: English - Date: 2015-03-09 10:43:30 Algorithm Mathematical logic Theoretical computer science Information science Benchmark Question answering Artificial intelligence Computational linguistics Science Natural language processing
322	Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation The Ciao Programming Environment and Multiparadigm Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-02-26 11:23:34 Programming paradigms Prolog Integrated development environments ECLiPSe Logic programming Preprocessor Emacs Ciao D Software Computing Constraint programming
323	Computational Interpretations of Analysis via Products of Selection Functions Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-29 11:53:24 Mathematics Constructible universe Symbol Ε₀ Ordinal arithmetic Mathematical logic Proof theory Ordinal numbers
324	Computational Creativity Autumn School Lecture 4 Building an Automated Mathematician Simon Colton Computational Creativity Group Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:32 Integer sequences Mathematical logic Refactorable number Theorem Conjecture Mathematical proof Number theory Counterexample HR Mathematics Logic Science
325	Theory of Real Approximation and Exact Geometric Computation Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:23 Computer programming Algorithm Mathematical logic Theoretical computer science CGAL Floating point Computational geometry Computer science Mesh generation Computing Theory of computation Mathematics
326	On Bounded Reachability of Programs with Set Comprehensions Margus Veanes1 and Ando Saabas2? 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2009-01-06 12:05:39 Formal methods Complexity classes Computability theory Metalogic NP-complete problems FO Model theory First-order logic P Theoretical computer science Computational complexity theory Applied mathematics
327	BUS ENCODING TO PREVENT CROSSTALK DELAY by Bret Victor Masters Thesis: The Director’s Cut Add to Reading List Source URL: worrydream.com Language: English - Date: 2001-10-30 19:14:56 Computational complexity theory Circuit complexity NC Model theory Theorem Advice Theoretical computer science Logic Mathematics
328	AIAA JOURNAL Vol. 46, No. 10, October 2008 Parametric Reduced-Order Models for Probabilistic Analysis of Unsteady Aerodynamic Applications T. Bui-Thanh∗ and K. Willcox† Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2008-10-21 10:10:11 Regression analysis Data analysis Computational fluid dynamics Navier–Stokes equations Least squares Principal component analysis Parameter space Combinatorics Combinatory logic Statistics Mathematics Mathematical optimization
329	Using Inverse λ and Generalization to Translate English to Formal Languages Chitta Baral Arizona State University [removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:07:18 Computational linguistics Mathematics Theoretical computer science Grammar Compiler construction Parsing Semantics Natural language processing Formal grammar Formal languages Logic Linguistics
330	Procesamiento del Lenguaje Natural, Revista nº 54, marzo de 2015, pp[removed]recibido[removed]revisado[removed]aceptado[removed]Negation and Speculation Detection in Clinical and Review Texts1 Detección de la Negac Add to Reading List Source URL: rua.ua.es Language: English - Date: 2015-03-04 06:51:04 Natural language processing Data mining Cognition Semantics Rhetoric Logic programming Text mining Negation Fact Science Computational linguistics Linguistics

UPDATE